Belief revision in the propositional closure of a qualitative algebra

Belief revision is an operation that aims at modifying old be-liefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the result is a disjunction of belief bases that is not necessarily repre-sentable in a QA. This motivates the study of belief revision in formalisms extending QAs, namely, their propositional clo-sures: in such a closure, the result of belief revision belongs to the formalism. Moreover, this makes it possible to define a contraction operator thanks to the Harper identity. Belief revision in the propositional closure of QAs is studied, an al-gorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web

Semantic Faceted Search: Safe and Expressive Navigation in RDF Graphs

Faceted search and querying are the two main paradigms to search the Semantic Web. Querying languages, such as SPARQL, oer expressive means for searching knowledge bases, but they are dicult to use. Query assistants help users to write well-formed queries, but they do not prevent empty results. Faceted search supports exploratory search, i.e., guided navigation that returns rich feedbacks to users, and prevents them to make navigation steps that lead to empty results (dead-ends). However, faceted search systems do not oer the same expressiveness as query languages. We introduce semantic faceted search, the combination of an expressive query language and faceted search to reconcile the two paradigms. The query language is basically SPARQL, but with a syntax that extends Turtle with disjunction and negation, and that better ts in a faceted search interface: LISQL. We formalize the navigation of faceted search as a navigation graph, where nodes are queries, and navigation links are query transformations. We prove that this navigation graph is safe (no dead-end), and complete (every query that is not a dead-end can be reached by navigation). That formalization itself is a contribution to faceted search. A prototype, Camelis 2, has been implemented, and a usability evaluation with graduate students demonstrated that semantic faceted search retains the ease-of-use of faceted search, and enables most users to build complex queries with little training

An Interactive Guidance Process Supporting Consistent Updates of RDFS Graphs

International audienceWith existing tools, when creating a new object in the Semantic Web, users benefit neither from existing objects and their properties, nor from the already known properties of the new object. We propose UTILIS, an interactive process to help users add new objects. While creating a new object, relaxation rules are applied to its current description to find similar objects, whose properties serve as suggestions to expand the description. A user study conducted on a group of master students shows that students, even the ones disconcerted by the unconventional interface, used UTILIS suggestions. In most cases, they could find the searched element in the first three sets of properties of similar objects. Moreover, with UTILIS users did not create any duplicate whereas with the other tool used in the study more than half of them did

Création et mise à jour guidées d'objets dans une base RDF(S)

National audienceLa mise à jour des bases de connaissances existantes est cruciale pour tenir compte des nouvelles informations, régulièrement découvertes. Toutefois, en pratique, les données actuelles du Web Sémantique sont rarement mises à jour par les utilisateurs. Nous proposons UTILIS, une méthode pour aider les utilisateurs à ajouter de nouveaux objets. Un objet est une ressource de la base. Sa description correspond aux propriétés qu'il possède. Pendant la création d'un nouvel objet o, UTILIS recherche les objets similaires. Les propriétés des objets similaires sont utilisées comme suggestions pour complèter la description de o. Les objets similaires sont trouvés en appliquant des règles de relaxation à la description de o, prise comme une requête. Comparé avec l'état de l'art, la contribution est qu'UTILIS est à la fois incrémental, chaque nouvelle propriété est utilisée pour la recherche, et interactif, l'utilisateur a un rôle actif dans le processus

Adaptation de cas propositionnels par réparations fondées sur des connaissances d'adaptation

National audienceL'adaptation est une étape du raisonnement à partir de cas qui consiste à modifier un cas source représentant un épisode de résolution de problème pour résoudre un nouveau problème, appelé le cas cible. Une approche de l'adaptation consiste à appliquer un opérateur de révision de croyances qui modifie de manière minimale le cas source pour le rendre cohérent avec le cas cible. Une autre approche consiste à utiliser des règles d'adaptation relatives au domaine. Ces deux approches peuvent être combinées : un opérateur de révision paramétré par des règles d'adaptation est introduit. Ce papier présente un algorithme d'adaptation par révision et règles d'adaptation fondé sur la réparation de branches dans des tableaux en logique propositionnelle : quand la conjonction des cas source et cible est incohérente, la méthode des tableaux crée un ensemble de branches, toutes terminant par des conflits, qui sont ensuite réparés à l'aide de règles d'adaptation (modifiant ainsi le cas source). Cet algorithme a été implanté dans l'outil REVISOR /PLAK et des informations sur cette implantation sont présentées

Aide à la création d'objets dans une base RDF(S) avec des règles de relaxation

National audienceQuand un utilisateur crée un nouvel objet dans le Web sémantique, les outils existants n'exploitent ni les objets existants et leurs propriétés, ni les propriétés déjà connues du nouvel objet. Nous proposons UTILIS, une méthode d'aide à la création de nouveaux objets. UTILIS cherche des objets similaires au nouvel objet en appliquant des règles de relaxation à sa description. Les propriétés des objets similaires servent de suggestions pour compléter la description du nouvel objet. Une étude utilisateur menée avec des étudiants en master montre que les suggestions d'UTILIS ont été utilisées. Les utilisateurs ont trouvé les suggestions pertinentes : dans la plupart des cas, ils pouvaient trouver l'élément recherché dans les trois premiers ensembles de suggestions. De plus, ils les ont appréciées, car la majorité souhaitent les avoir dans un éditeur de données du Web sémantique

Adapting propositional cases based on tableaux repairs using adaptation knowledge -- extended report

Adaptation is a step of case-based reasoning that aims at modifying a source case (representing a problem-solving episode) in order to solve a new problem, called the target case. An approach to adaptation consists in applying a belief revision operator that modifies minimally the source case so that it becomes consistent with the target case. Another approach consists in using domain-dependent adaptation rules. These two approaches can be combined: a revision operator parametrized by the adaptation rules is introduced and the corresponding revision-based adaptation uses the rules to modify the source case. This paper presents an algorithm for revision-based and rule-based adaptation based on tableaux repairs in propositional logic: when the conjunction of source and target cases is inconsistent, the tableaux method leads to a set of branches, each of them ending with clashes, and then, these clashes are repaired (thus modifying the source case), with the help of the adaptation rules. This algorithm has been implemented in the REVISOR/PLAK tool and some implementation issues are presented

Belief revision in the propositional closure of a qualitative algebra

International audienceBelief revision is an operation that aims at modifying old be-liefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the result is a disjunction of belief bases that is not necessarily repre-sentable in a QA. This motivates the study of belief revision in formalisms extending QAs, namely, their propositional clo-sures: in such a closure, the result of belief revision belongs to the formalism. Moreover, this makes it possible to define a contraction operator thanks to the Harper identity. Belief revision in the propositional closure of QAs is studied, an al-gorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web.La révision des croyances est une opération visant à modifier d'anciennes croyances afin qu'elles deviennent cohérentes avec de nouvelles croyances. La problématique de la révision des croyances a été étudiée dans divers formalismes, en particulier dans les algèbres qualitatives (AQ), dans lesquelles le résultat est une disjonction de bases de croyances, qui ne sont pas nécessairement représentables dans une AQ. Cela motive l'étude de la révision des croyances dans les clôtures propositionnelles des AQ, dans lesquels le résultat de la révision est représentable. Cette propriété rend possible la définition d'un opérateur de contraction, en s'appuyant sur l'identité de Harper. La révision des croyances dans les clôtures propositionnelles d'AQ est étudiée, un algorithme pour une famille d'opérateurs de révision dans ces formalismes est présenté et une implantation gratuite, avec code source ouvert et disponible sur la toile est décrite

Belief revision in the propositional closure of a qualitative algebra (extended version)

This is the extended version of an article originally presented at the 14th International Conference on Principles of Knowledge Representation and ReasoningBelief revision is an operation that aims at modifying old beliefs so that they become consistent with new ones. The issue of belief revision has been studied in various formalisms, in particular, in qualitative algebras (QAs) in which the result is a disjunction of belief bases that is not necessarily representable in a QA. This motivates the study of belief revision in formalisms extending QAs, namely, their propositional closures: in such a closure, the result of belief revision belongs to the formalism. Moreover, this makes it possible to define a contraction operator thanks to the Harper identity. Belief revision in the propositional closure of QAs is studied, an algorithm for a family of revision operators is designed, and an open-source implementation is made freely available on the web. (This is the extended version of an article originally presented at the 14th International Conference on Principles of Knowledge Representation and Reasoning.)La révision des croyances est une opération visant à modifier d'anciennes croyances afin qu'elles deviennent cohérentes avec de nouvelles croyances. La problématique de la révision des croyances a été étudiée dans divers formalismes, en particulier dans les algèbres qualitatives (AQ), dans lesquelles le résultat est une disjonction de bases de croyances, qui ne sont pas nécessairement représentables dans une AQ. Cela motive l'étude de la révision des croyances dans les clôtures propositionnelles des AQ, dans lesquels le résultat de la révision est représentable. Cette propriété rend possible la définition d'un opérateur de contraction, en s'appuyant sur l'identité de Harper. La révision des croyances dans les clôtures propositionnelles d'AQ est étudiée, un algorithme pour une famille d'opérateurs de révision dans ces formalismes est présenté et une implantation gratuite, avec code source ouvert et disponible sur la toile est décrite

WICRI : construire des réseaux de la recherche et de l'innovation dans l'UPM

National audienceUn démonstrateur de réseau de wikis, nommé WICRI, et dédié au monde de la recherche et l'innovation a été réalisé dans le cadre de la mission TICRI (Technologies de l'Information et de la Communication pour la Recherche et de l'Innovation) de la DRRT Lorraine. Il a pour but de sensibiliser les acteurs de la recherche et de l'innovation de l'intérêt des réseaux de wikis sémantiques. Les résultats de cette expérience peuvent s'appliquer à l'Espace Numérique Ouvert Pour la Méditerranée